681. Simulated Evolution and Learning.
پدیدآورنده : Bob McKay
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
682. Simulated evolution and learning :
پدیدآورنده : Xin Yao, Jong-Hwan Kim, Takeshi Furuhashi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer simulation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithmes génétiques-- Congrès.,Artificial intelligence.,Computer simulation.,Computersimulaties.,Evolutionärer Algorithmus,Evolutionary programming (Computer science),Fuzzy-Logik,Genetischer Algorithmus,Inteligencia artificial (computacao),Intelligence artificielle-- Congrès.,Kongress,Künstliches Leben,Machine-learning.,Neuronales Netz,Simulation par ordinateur-- Congrès.
رده :
QA76
.
9
.
C65
S42
1996
683. Software Composition
پدیدآورنده : edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
684. Software Engineering -- ESEC '95 :
پدیدآورنده : edited by Wilhelm Schäfer, Pere Botella.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
685. Software Engineering and Environment :
پدیدآورنده : by Phillip C.-Y. Sheu.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Object-oriented programming (Computer science),Software engineering.
686. Software Engineering with Computational Intelligence
پدیدآورنده : edited by Taghi M. Khoshgoftaar.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
687. Software engineering and formal methods :
پدیدآورنده : Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
I58
2011
688. Solving higher-order equations: from logic to programming
پدیدآورنده : Prehofer, Christian
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer logic,، Declarative programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
.
P74
1997
689. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
پدیدآورنده : Gi-Chul Yang [and others], editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
رده :
TA5
.
G534
2013
690. Specification and compositional verification of real-time systems
پدیدآورنده : J. Hooman.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Real-time data processing.,Real-time systemen.,Verificatie.
رده :
QA76
.
54
J466
1991
691. Starting Out with Programming Logic and Design
پدیدآورنده : / Tony Gaddis
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
692. Static Analysis :
پدیدآورنده : by Patrick Cousot, Moreno Falaschi, Gilberto File.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
693. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings
پدیدآورنده : Roberto Giacobazzi )ed.(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
I5733
2004
694. Statistisches Matching mit Fuzzy Logic :
پدیدآورنده : Patrick Noll ; Mit einem Geleitw. von Paul Alpar.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Information theory.,Software engineering.,Computer Science, general.,Software Engineering/Programming and Operating Systems.,Theory of Computation.
رده :
GB656
.
2
.
H9
695. Studies in automatic programming logic
پدیدآورنده : Manna, Zohar.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Automatic programming )Computer science(,، Computer programs
رده :
QA
76
.
6
.
M357
696. Swift 3 for Absolute Beginners
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
رده :
QA76
.
73
.
S95
697. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
پدیدآورنده : edited by Linda C. van der Gaag.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
2013
698. Systematic Introduction to Expert Systems :
پدیدآورنده : by Frank Puppe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Management information systems.
رده :
QA76
.
76
.
E95
B947
1993
699. Systems Programming In Parallel Logic Languages
پدیدآورنده : Ian Foster
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Systems Programming (computer science),Parallel Processing (electronic computers)
رده :
QA
،
76
.
66
،.
F67
،
1990
700. Systems programming in parallel logic languages
پدیدآورنده : Foster, Ian
کتابخانه: (طهران)
موضوع : ، Systems programming )Computer science(,، Parallel processing )Electronic computers(
رده :
QA
76
.
66
.
F67
1990
